apodeictic proof

必然的论证